Rule rewrite aims to clean up scientific software
نویسندگان
چکیده
منابع مشابه
Scaling Up Rule-Based Software Development Environments
Rule-based software development environments (RBDEs) model the software development process in terms of rules that encapsulate development activities, and assist in executing the process via forward and backward chaining over the rule base. We investigate the scaling up of RBDEs to support (1) multiple views of the rule base for multiple users and (2) evolution of the rule base over the lifetim...
متن کاملRewrite Rule Systems for Modal Propositional Logic
D This paper explains new results relating modal propositional logic and rewrite rule systems. More precisely, we give complete term rewriting systems for the modal propositional systems known as K, Q, T, and S5. These systems are presented as extensions of Hsiang’s system for classical propositional calculus. We have checked local confluence with the rewrite rule system K.B. (cf. the Knuth-Ben...
متن کاملOn Termination of One Rule Rewrite Systems
The undecidability of the termination of rewrite systems is usually proved by reduction to the halting of Turing machines. In particular, Dauchet proves the unde-cidability of the termination of one rule rewrite systems by coding Turing machines into one rule rewrite systems. Rewrite systems are a very simple model of computation and one may expect proofs in this model to be more straightforwar...
متن کاملAn Overview of Rewrite Rule Laboratory (RRL)
RRL (Rewrite Rule Laboratory) was originally developed as an environment for experimenting with automated reasoning algorithms for equational logic based on rewrite techniques. It has now matured into a full-edged theorem prover which has been used to solve hard and challenging mathematical problems in automated reasoning literature as well as a research tool for investigating the use of formal...
متن کاملFeds to clean up their acts.
Dysplasia in the upper gastrointestinal tract carries a risk of invasive malignant change. Surgical excision of the affected organ is the only treatment available. Photodynamic therapy has been shown to be promising in the treatment of early and superficial tumours and may be useful for the ablation of dysplastic mucosa. Because of the diffuse nature of the disease, such treatment would necessa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 2015
ISSN: 0028-0836,1476-4687
DOI: 10.1038/520276a